翻訳と辞書
Words near each other
・ Distribution of seats in the Austrian Landtage
・ Distribution of the FairTax burden
・ Distribution of wealth
・ Distribution of white South Africans
・ Distribution resource planning
・ Distribution Select
・ Distribution software
・ Distribution transformer
・ Distribution Transformer Monitor
・ Distribution uniformity
・ Distribution waterfall
・ Distributional semantics
・ Distributism
・ Distributive
・ Distributive case
Distributive category
・ Distributive efficiency
・ Distributive homomorphism
・ Distributive justice
・ Distributive lattice
・ Distributive law between monads
・ Distributive number
・ Distributive pronoun
・ Distributive property
・ Distributive shock
・ Distributive tendency
・ Distributive writing
・ Distributive-temporal case
・ Distributivity (order theory)
・ Distributor


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Distributive category : ウィキペディア英語版
Distributive category

In mathematics, a category is distributive if it has finite products and finite coproducts such that for every choice of objects A,B,C, the canonical map
: (\times\iota_1, \mathit_A \times\iota_2 ) : A\times B + A\times C\to A\times(B+C)
is an isomorphism, and for all objects A, the canonical map 0 \to A\times 0 is an isomorphism. Equivalently. if for every object A the functor A\times - preserves coproducts up to isomorphisms f. It follows that f and aforementioned canonical maps are equal for each choice of objects.
In particular, if the functor A\times - has a right adjoint (i.e., if the category is cartesian closed), it necessarily preserves all colimits, and thus any cartesian closed category with finite coproducts (i.e., any bicartesian closed category) is distributive.
For example, Set is distributive, while Grp is not, even though it has both products and coproducts.
An even simpler category that has both products and coproducts but is not distributive is the category of pointed sets.
==References==


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Distributive category」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.